Formal Methods Pilot Project Final Report
نویسندگان
چکیده
منابع مشابه
Applying Reenement in an Industrial Pilot Project Using Cogito Applying Reenement in an Industrial Pilot Project Using Cogito
This paper reports on a collaborative industrial pilot project on the use of formal methods in the development of safety-related software. In particular we report on our experiences with the use of the reenement techniques ooered by the Cogito methodology as part of the pilot project. The project focused on a software subsystem of a testing device that determines the operational status of a pie...
متن کاملRODIN “ Rigorous Open Development Environment for Complex Systems ” RODIN Deliverable D 19 Intermediate report on methodology
One aim of the Rodin project is to contribute formal methods which will underpin the creation of fault-tolerant systems. This intermediate report from WP2 (Methodology) describes progress during the second year of the Rodin project; it also discusses our plans for the final deliverable on methodology.
متن کاملFormal Methods Pilot Project
This paper reports on a collaborative project to pilot the use of formal methods in the development of safetyrelated somare. Using the SVRC’s Cogito methodology, stafs from CSC Australia undertook: formal specijication; validation of the specijication by mathematical consistency checks; hazard analysis; and validation of the speciJication against the safety requirements. Part of the design was ...
متن کاملRODIN: Intermediate report on methodology
One aim of the Rodin project is to contribute formal methods which will underpin the creation of fault-tolerant systems. This intermediate report from WP2 (Methodology) describes progress during the second year of the Rodin project; it also discusses our plans for the final deliverable on methodology. © 2006 University of Newcastle upon Tyne. Printed and published by the University of Newcastle...
متن کاملFormalizing New Navigation Requirements for NASA's Space Shuttle
We describe a recent NASA-sponsored pilot project intended to gauge the e ectiveness of using formal methods in Space Shuttle software requirements analysis. Several Change Requests (CRs) were selected as promising targets to demonstrate the utility of formal methods in this demanding application domain. A CR to add new navigation capabilities to the Shuttle, based on Global Positioning System ...
متن کامل